Finite buffer realization of input-output discrete-event systems
نویسندگان
چکیده
منابع مشابه
Finite Buffer Realization of Input-Output Discrete Event Systems
Many discrete event systems (DESs) such as manufacturing systems, database management systems, communication networks, traffic systems, etc., can be modeled as input-output discrete event systems (I/O DESs). In this paper we formulate and study the problem of stable realization of such systems in the logical setting. Given an input and an output language describing the sequences of events that ...
متن کاملCorrections to \finite Buuer Realization of Input-output Discrete Event Systems"
This note presents a correction to 1, Theorem 4] which provides a necessary and suucient condition for dispatchability. 1 Notation The following additional notation is introduced: The notation s L s 0 is used to denote that strings s; s 0 are equivalent under the Nerode equivalence induced by the language L.
متن کاملFinite Buuer Realization of Input-output Discrete Event Systems 1 ;2
Many discrete event systems (DESs) such as manufacturing systems, database management systems, communication networks, tra c systems, etc., can be modeled as input-output discrete event systems (I/O DESs). In this paper we formulate and study the problem of stable realization of such systems in the logical setting. Given an input and an output language describing the sequences of events that oc...
متن کاملRealization of interconnected nonlinear input-output discrete-time systems
The majority of control techniques for nonlinear systems are based on state-space description, the problem of finding state-space realization of input-output system is an important task. This paper is devoted to the problem of realizability of the interconnections of the nonlinear discretetime input-output systems. Necessary and sufficient conditions are given for the existence of a state-space...
متن کاملFinite Bu er Realization of Input - Output
Many discrete event systems (DESs) such as manufacturing systems, data base management systems, communication networks, tra c systems, etc., can be modeled as input-output discrete event systems (I/O DESs). In this paper we formulate and study the problem of stable realization of such systems in the logical setting. Given an input and an output language describing the sequences of events that o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 1995
ISSN: 0018-9286
DOI: 10.1109/9.388681